Technical report

Results: 11918



#Item
791Syntax / Temporal logic / Disjunctive normal form / Model checking / Well-formed formula / Formula

Verifying arbitrary temporal formulas in the temporal logic of actions Lucian Wischik In SRC Technical NoteThis report describes a summer project undertaken by Lucian Wischik of the University of Cambridge, at

Add to Reading List

Source URL: www.wischik.com

Language: English - Date: 2002-06-10 07:22:12
792Educational psychology / Cognitive science / Pedagogy / Education / Evolutionarily stable strategy / Game theory / Social learning / Learning / Learning theory / Critical period hypothesis

MIMS Technical Report No) Evolution of learning abilities: A theoretical model Wataru Nakahashi

Add to Reading List

Source URL: www.mims.meiji.ac.jp

Language: English - Date: 2015-04-16 22:07:25
793Open standards / Open Mobile Alliance / Push-to-talk / OMA Device Management / SyncML / POC / Mobile device management / OMA Presence SIMPLE / Juphoon

Enabler Test Report for Push-to-talk Over Cellular v1.0 OMA TestFest 9.5 Version 1.0 – 5th August 2005 Open Mobile Alliance OMA-ETR-TestFest-9.5-Jul05-PoC-V1_0

Add to Reading List

Source URL: technical.openmobilealliance.org

Language: English - Date: 2013-09-20 08:48:18
794Data management / Technical communication / Business intelligence / Knowledge representation / Records management / United States Geological Survey / North Halifax Grammar School / Borehole

Final Technical Report for FY2008-2009 New Hampshire Geological Data Inventory

Add to Reading List

Source URL: datapreservation.usgs.gov

Language: English - Date: 2014-10-21 19:08:59
795Healthcare-associated infections / Infectious diseases / Healthcare quality / Bacterial diseases / Antibiotic-resistant bacteria / Hospital-acquired infection / Methicillin-resistant Staphylococcus aureus / Infection control / Patient safety / Intensive care unit / Staphylococcus aureus / Carbapenem-resistant enterobacteriaceae

TECHNICAL REPORT FOR HEALTHCARE-ASSOCIATED INFECTIONS A SUPPLEMENT TO THE HOSPITAL PERFORMANCE REPORT, NEW JERSEY 2012 DATA New Jersey Department of Health Health Care Quality Assessment April 2015

Add to Reading List

Source URL: web.doh.state.nj.us

Language: English - Date: 2015-04-27 12:23:13
796Markup languages / Technical communication / Reference / Standard Generalized Markup Language / TEI / Annotation

BNC: Third Quarter Progress Report Lou Burnard 15 Sept 1991 • Task group and other related meetings OUCS staff attended meetings of Task Groups A and D during this quarter. • Computer facilities A semi-automatic secu

Add to Reading List

Source URL: www.natcorp.ox.ac.uk

Language: English - Date: 2013-10-04 12:32:29
797Taxation in the United States / Email / Itemized deduction

Technical & Organizational Development Assistance Grant Final ReportTechnical & Organizational Development Assistance Grant Final Report

Add to Reading List

Source URL: www.arts.virginia.gov

Language: English - Date: 2016-04-04 16:42:44
798Conservation and restoration / Historic preservation / Cultural heritage / National Trust for Historic Preservation / Preservation / Designated landmark / National Park Service / National Historic Preservation Act / State historic preservation office

Preservation Plan Outline Buffalo Preservation Plan Program Report on Technical Assistance on the Preservation Plan Process BURAJune 7, 2004

Add to Reading List

Source URL: buffaloah.com

Language: English - Date: 2009-07-03 12:49:36
799Market segmentation / Image segmentation / Marketing / Memory segmentation / Segmentation / Industrial market segmentation

Market Segmentation Technical Report March 2016

Add to Reading List

Source URL: masassets.blob.core.windows.net

Language: English - Date: 2016-05-20 10:57:38
800Biodiversity / Biogeography / Ecology / Elevational diversity gradient / Tropics / Limit of a function / Cone / Slope / Differential geometry of surfaces / Atmospheric entry

Core mathematics to support new theory for distributions of biological diversity along environmental gradients NCSU Dept. of Statistics Technical Report June 18, 2015

Add to Reading List

Source URL: www.fhi.ox.ac.uk

Language: English - Date: 2015-12-17 17:01:01
UPDATE